1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m16d.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identificador | 8JMKD3MGP7W/3CCLDQS |
Repositório | sid.inpe.br/mtc-m19/2012/08.01.11.55 |
Última Atualização | 2012:08.01.15.56.31 (UTC) marciana |
Repositório de Metadados | sid.inpe.br/mtc-m19/2012/08.01.11.55.55 |
Última Atualização dos Metadados | 2018:06.05.04.12.35 (UTC) administrator |
Chave Secundária | INPE--PRE/ |
Chave de Citação | RomeroFerr:2012:ApMoAr |
Título | An Approach to Model-Driven Architecture Applied to Space Real-Time Software |
Ano | 2012 |
Data de Acesso | 17 maio 2024 |
Tipo Secundário | PRE CI |
Número de Arquivos | 1 |
Tamanho | 1133 KiB |
|
2. Contextualização | |
Autor | 1 Romero, Alessandro Gerlinger 2 Ferreira, Mauricio Gonçalves Vieira |
Grupo | 1 2 CRC-CRC-INPE-MCTI-GOV-BR |
Afiliação | 1 2 Instituto Nacional de Pesquisas Espaciais (INPE) |
Nome do Evento | International Conference on Space Operations, ( SpaceOps), 12 |
Localização do Evento | Stockholm |
Data | 11-15 June 2012 |
Título do Livro | Proceedings |
Histórico (UTC) | 2012-12-20 18:32:40 :: marciana -> administrator :: 2012 2018-06-05 04:12:35 :: administrator -> marciana :: 2012 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Tipo de Versão | publisher |
Resumo | Real-time systems are commonplace in satellites. In this system type, software has become a crucial factor to satellites success projects because its complexity quickly increases, along with cost. Some factors that contribute to increase complexity of software are: it interacts with different kind of hardware, it has several states and for each state commonly a different control law, it has hard-deadlines, and it must have a high level of reliability. Attitude and Orbit Control System (AOCS) is a good example for this type of system. With the necessity to launch more satellites, Brazilian National Institute for Space Research (INPE) has been carrying out research on modeling and verifying real-time software, like a lot of other space agencies and research institutes. The main focus is to obtain a better balance between dependability, schedule, and cost. However, instead of creating one more brand-new, one-of-a-kind approach, method or process, we are trying to use Object Management Group (OMG) specifications, which have been proposed and adopted by community in some degree. Another concern from this INPE research is to be independent from commercial tools establishing itself on open source software. This paper presents a detailed approach to implement Model-Driven Architecture (MDA) in real-time space software based strongly in OMG specifications. It shows how models are defined, linked, verified and transformed, as well as a set of tools for this. We place special emphasis on fUML (Semantics of a Foundational Subset for Executable UML Models) and MARTE (UML Profile for Modeling and Analysis of Real-Time Embedded Systems) that allow us to define a completely executable Platform Independent Model (PIM). At the end, a case study is presented, along with an assessment of the proposed approach. This assessment allowed us to conclude that MDA, following the proposal presented, has advantages versus the current approaches applied to real-time space software development. |
Área | ETES |
Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > An Approach to... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/8JMKD3MGP7W/3CCLDQS |
URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP7W/3CCLDQS |
Idioma | en |
Arquivo Alvo | id1230801-Paper-002romero4.pdf |
Grupo de Usuários | marciana |
Visibilidade | shown |
Permissão de Leitura | allow from all |
Permissão de Atualização | não transferida |
|
5. Fontes relacionadas | |
Vinculação | Trabalho Vinculado à Tese/Dissertação |
Repositório Espelho | sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53 |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3F3PAJE |
Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.19.00.29 2 |
Acervo Hospedeiro | sid.inpe.br/mtc-m19@80/2009/08.21.17.02 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor electronicmailaddress format isbn issn keywords label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarytype type url volume |
|
7. Controle da descrição | |
e-Mail (login) | marciana |
atualizar | |
|